Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
301	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-11-29 06:14:30 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
302	Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-01-20 13:14:01 Computer science Logic in computer science Reasoning Artificial intelligence Automated reasoning Max Planck Institute for Computer Science Logic programming International Joint Conference on Automated Reasoning Federated Logic Conference Theoretical computer science Applied mathematics Automated theorem proving
303	Dr. Joanna Stith with “Listening for Life” presents: Becoming a Love and Logic Parent A five-week parent and educator training program designed by the Love and Logic Institute, Inc. This course is targeted for parent Add to Reading List Source URL: www.listeningforlife.com Language: English - Date: 2012-12-15 17:29:49 Parenting Childhood Learning Skill
304	Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2011-09-06 10:46:19 Automated theorem proving Logic in computer science NP-complete problems Boolean algebra Logic programming Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematics Mathematical logic
305	A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-01-13 16:21:08 Logic in computer science Java Memory Model Java platform Computer memory Concurrency Programming language semantics Memory model Consistency model Causal consistency Computing Computer architecture Software engineering
306	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-05-06 01:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
307	A Flexible Method for Applying Chabauty’s Theorem E. V. Flynn, Mathematical Institute, University of Oxford Abstract A strategy is proposed for applying Chabauty’s Theorem to hyperelliptic curves of genus > 1. In the Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2006-07-08 18:57:36 Analytic number theory Elliptic curve Group theory Jacobian matrix and determinant Entailment GEC Continuous game Mathematics Algebra Logic
308	Conference jointly organised by The British Society for the History of Mathematics and The Lewis Carroll Society in association with The Birmingham and Midland Institute Venue: The Birmingham and Midland Institute, Marga Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-05-23 03:50:28 Old Rugbeians English people British Society for the History of Mathematics Charles Dodgson Logic puzzle British people Lewis Carroll Alice in Wonderland
309	Selected for a Viewpoint in Physics PHYSICAL REVIEW A 84, [removed]Informational derivation of quantum theory Giulio Chiribella∗ Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Ontario, Cana Add to Reading List Source URL: www.quantumoptics.it Language: English - Date: 2011-07-12 06:26:16 Quantum information science Quantum information theory Quantum measurement Quantum state Quantum logic Density matrix Quantum operation POVM Quantum entanglement Physics Quantum mechanics Theoretical computer science
310	1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-01-30 07:12:28 Philosophy Game theory Philosophy of mathematics Mathematical logic Johan van Benthem Modal logic Game semantics Institute for Logic Language and Computation Epistemic modal logic Logic Philosophical logic Mathematics

UPDATE